caractérisation séquentielle : \(A\subset E\) est fermé \(\iff\) toute Suite convergente d'éléments de \(A\) converge vers un élément de \(A\) $$\forall x\in E,\Big(\exists (x_n)_n\in A^{\Bbb N},\underset{n\to+\infty}{\operatorname{lim} } x_n=x\Big)\implies x\in A$$
